using Symbolics: Operator, Num, Term, value, recursive_hasoperator

MTKBase.ShiftIndex() = MTKBase.ShiftIndex(MTKTearing.Inferred())

